Cartesian Closed Topological Categories and Tensor Products
نویسنده
چکیده
The projective tensor product in a category of topologicalR-modules (where R is a topological ring) can be defined in Top, the category of topological spaces, by the same universal property used to define the tensor product of R-modules in Set. In this article, we extend this definition to an arbitrary topological category X and study how the cartesian closedness of X is related to the monoidal closedness of the category of R-module objects in X.
منابع مشابه
Cartesian closed subcategories of topological fuzzes
A category $mathbf{C}$ is called Cartesian closed provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$ of all topological fuzzes is both complete and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...
متن کامل$L-$ordered Fuzzifying Convergence Spaces
Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...
متن کاملFree Modules over Cartesian Closed Topological Categories
The construction of free R-modules over a cartesian closed topological category X is detailed (where R is a ring object in X), and it is shown that the insertion of generators is an embedding. This result extends the well-known construction of free groups, and more generally of free algebras over a cartesian closed topological category.
متن کامل- Algebras in Tensor Categories
We define and systematically study nonassociative C *-algebras as C *-algebras internal to a topological tensor category. We also offer a concrete approach to these C *-algebras, as G-invariant, norm closed *-subalgebras of bounded operators on a G-Hilbert space, with deformed composition product. Our central results are those of stabilization and Takai duality for (twisted) crossed products in...
متن کاملMPhil in Advanced Computer Science Advanced
SYLLABUS A range of topics for the course follows. 1. Algebraic theories: universal algebra; equational logic; soundness and completeness; theory translations and constructions. 2. Algebras: initial algebras; induction principle; recursive domain equations; free algebras. 3. Presheaves: cartesian closure; essential geometric morphisms; free cocompletions; Kan extensions; coends. 4. Simply typed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 13 شماره
صفحات -
تاریخ انتشار 2005